<?php
session_start ();
if (!isset($_SESSION['id_employe_connecte'])||!isset($_SESSION['nom_employe_connecte'])||!isset($_SESSION['prenom_employe_connecte'])||($_SESSION['categorie_employe_connecte']!='directeur'))
{
header("location: index.php");
exit();
}

	mysql_connect('localhost','root') or die('erreur de connexion au serveur');
	mysql_select_db('garage');
	$demande_reparation="SELECT * FROM reparation";
	$requete_demande_reparation=mysql_query($demande_reparation) or die ('Erreur SQL !'.$demande_reparation.'<br />'.mysql_error());

echo'
	<html>
	<head>
	<link rel="stylesheet" type="text/css" href="style.css" />
	</head>
	<body>
	<div class=conten>
	<div class=titre></div>
	<nav>
		<ul>
			<li><a href="directeur.php">RETOUR</a></li>
			<li><a href="directeur.php">ACCUEIL</a></li>
			<li><a href="index.php?action=logout">DECONNEXION</a></li>
		</ul>
	</nav>
<body>
<form id="intervention" method="post" action="gestion-intervention.php" >
<fieldset>
<p>
	<legend>Rechercher une intervention</legend>
</p>
<p>
	<label for="nom">Nom intervention : </label>
	 <select name="nom">';
	 while ($ligne=mysql_fetch_array($requete_demande_reparation))
            {
               echo '<OPTION VALUE='.$ligne[id].'>'.$ligne[intitule].'</OPTION>';
            }
			echo'
			 </select>
</p>
<p>
<a href="ajout-reparation.php">Ajouter une intervention</a>
</p>
<p>
		<input type="submit" value="Rechercher" name="valider";/>
</p>
</fieldset>
</form>
</body>
</html>';
if (isset($_POST['valider']))
	{
		header('Location: modifier-reparation.php?id='.$_POST["nom"].'');
		mysql_close();
	}	
?>	